what is git and how to use it